Daniel Jackson (auth.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (13)
Most Popular
List
- List
- Table

1

Hit Brands: How Music Builds Value for the World’s Smartest Brands

Hit Brands: How Music Builds Value for the World’s Smartest Brands

Palgrave Macmillan UK

Daniel M. Jackson, Richard Jankovich, Eric Sheinkop, David Marcus (auth.)

Year:

2013

Language:

english

File:

PDF, 1.67 MB

0 / 0

english, 2013

2

Algae and Man: Based on lectures presented at the NATO Advanced Study Institute July 22 – August 11, 1962 Louisville, Kentucky

Algae and Man: Based on lectures presented at the NATO Advanced Study Institute July 22 – August 11, 1962 Louisville, Kentucky

G. W. Prescott (auth.), Daniel F. Jackson (eds.)

Year:

1967

Language:

english

File:

PDF, 12.41 MB

0 / 0

english, 1967

3

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)

Year:

2001

Language:

english

File:

PDF, 4.28 MB

0 / 0

english, 2001

4

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Hana Chockler, Alan J. Hu (eds.)

Year:

2009

Language:

english

File:

PDF, 3.29 MB

0 / 0

english, 2009

5

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)

Year:

2001

Language:

english

File:

PDF, 3.38 MB

0 / 0

english, 2001

6

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Jens Palsberg (eds.)

Year:

2000

Language:

english

File:

PDF, 3.76 MB

0 / 0

english, 2000

7

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)

Year:

2001

Language:

english

File:

PDF, 7.27 MB

0 / 0

english, 2001

8

Sonic Branding: An Introduction

Sonic Branding: An Introduction

Palgrave Macmillan UK

Daniel M. Jackson (auth.), Paul Fulberg (eds.)

Year:

2003

Language:

english

File:

PDF, 23.08 MB

0 / 0

english, 2003

9

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson, Eunsuk Kang (auth.), Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.)

Year:

2010

Language:

english

File:

PDF, 5.09 MB

0 / 0

english, 2010

10

People and Computers XX — Engage: Proceedings of HCI 2006

People and Computers XX — Engage: Proceedings of HCI 2006

Springer-Verlag London

Year:

2007

Language:

english

File:

PDF, 4.04 MB

0 / 0

english, 2007

11

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)

Year:

2003

Language:

english

File:

PDF, 4.31 MB

0 / 0

english, 2003

12

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Hana Chockler, Alan J. Hu (eds.)

Year:

2009

Language:

english

File:

PDF, 6.31 MB

0 / 0

english, 2009

13

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Jens Palsberg (eds.)

Year:

2000

Language:

english

File:

PDF, 4.19 MB

0 / 0

english, 2000